Atsiliepimai
Aprašymas
Mokomojoje knygoje supažindinama su dviem predikatų logikos aprašymais: predikatų algebra ir predikatų skaičiavimu. Taip pat pateikiamos užduotys savarankiškam darbui.
Mokomojoje knygoje supažindinama su dviem predikatų logikos aprašymais: predikatų algebra ir predikatų skaičiavimu. Taip pat pateikiamos užduotys savarankiškam darbui.
Atsiliepimai